1. Formal methods in Standards: a report form the BCS working group
پدیدآورنده : / C. L. N. Ruggles ed, Principlal Contributors Derek Andrews.. [et al.]
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic data processing - Standards - Great Britain
رده :
QA76
.
9
.
S8F67
1990